Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP4: Compositional Specification of Stochastic Hybrid Systems Semantics, bisimulation and interaction- structures for the CPDP model
نویسندگان
چکیده
منابع مشابه
Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP4: Compositional Specification of Stochastic Hybrid Systems CPDP: A compositional framework for stochastic hybrid systems of the PDP type
6 Compositional specification of a forest landscape model using CPDPs 34 6.
متن کاملBisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes formed by PDPs (Piecewise Deterministic Markov Processes). We define CPDPs and the composition of CPDPs, and prove that the class of CPDPs is closed under composition. Then we introduce a notion of bisimulation for PDPs and CPDPs and...
متن کاملAn Optimization Model for Multi-objective Closed-loop Supply Chain Network under uncertainty: A Hybrid Fuzzy-stochastic Programming Method
In this research, we address the application of uncertaintyprogramming to design a multi-site, multi-product, multi-period,closed-loop supply chain (CLSC) network. In order to make theresults of this article more realistic, a CLSC for a case study inthe iron and steel industry has been explored. The presentedsupply chain covers three objective functions: maximization ofprofit, minimization of n...
متن کاملStochastic Equivalence of Cpdp-automata and Piecewise Deterministic Markov Processes
CPDP is a class of automata designed for compositional specification/analysis of certain stochastic hybrid processes. We prove equivalence of the stochastic behaviors of CPDPs (newly defined here) and PDPs. With this result we obtain a clear stochastic processes semantics for CPDPs and we obtain the opportunity to use the powerful PDP analysis techniques in the context of the compositional fram...
متن کاملA new Stochastic Hybrid Technique for DER Problem
This paper presents a new Hybrid Particle Swarm optimization with Time Varying Acceleration Coefficients (HPSOTVAC) and Bacteria Foraging Algorithm (BFA) namely (PSOTVAC/BFA) base fuzzy stochastic long term approach for determining optimum location and size of Distributed Energy Resources (DERs). The Monte Carlo simulation method is used to model the uncertainties associated with long-term load...
متن کامل